Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Wed, 4 Jan 2023 08:22:58 +0000 (08:22 +0000)
committerJean Baptiste Favre <debian@jbfavre.org>
Wed, 4 Jan 2023 08:22:58 +0000 (08:22 +0000)
commitba88156618934114bfeb61d1a467cf09dd9ca5c1
tree1eaece4d4853a59ca958d9a02d650a413490d409
parent465a008e3f7599116a79fc0e776b9c1f40d2e237
Make documentation build works outside of git repository

Origin: other
Last-Update: 2019-01-03

Current documentation build requires git and curl to get some stuff from the internet
This patch aims to delete those dependencies, forcing git branch to master,
and using Debian provided plantuml instead of downloading it from apache mirror
Last-Update: 2019-01-03
Gbp-Pq: Name 0006-fix-doc-build.patch
doc/Makefile.am
doc/ext/traffic-server.py
doc/uml/Makefile.am